Définition
Définition :
Une application \(f:E\rightarrow F\) est une surjection si $$\forall y \in F, \exists x\in E,y=f(x)$$
Notation
Notation :
Soit \(f:X\to Y\) une application
On note \(f:X{{\twoheadrightarrow}} Y\) lorsque \(f\) est surjective
Caractérisation
Pour voir si une fonctions \(f\) est une surjection, on développe l'équation \(y=f(x)\) jusqu'à trouver une expression de \(x\) en fonction de \(y\)